Christel Baier：在 Z-Library 上搜索

您通往知识和文化的门户。每个人都可以使用。

募捐 9月15日2024 – 10月1日2024

Z-Library 是世界上最大的在线图书馆之一，它拥有超过17,000,000的书籍和84,837,000的文章。我们的目标是让每个人都能获得文学作品. 今天(9月15日2024)，我们又发起了一个募捐活动，以支持和发展这个项目.

同时无限下载 (捐款后31日内) 可适与所有在10月1日2024之前进行捐款的用户.

关于筹款更多

捐款

书籍 (21)
最受欢迎
- 分类方式×
- 最受欢迎
- 最佳吻合
- 最近添加
- 按名称 (A-Z)
- 按名称 (Z-A)
- 按年份
- 文件大小↓
- 文件大小↑
列表
- 列表
- 表格

Principles of Model Checking

MiT Press

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

年:

2008

语言:

english

文件:

PDF, 17.08 MB

0 / 5.0

english, 2008

Theoretische Informatik: Eine Einführung in Berechenbarkeit, Komplexität und formale Sprachen mit 101 Beispielen

Pearson Studium

Alexander Asteroth, Christel Baier

年:

2002

语言:

german

文件:

PDF, 2.01 MB

0 / 0

german, 2002

Principles of Model Checking

The MIT Press

Christel Baier, Joost-Pieter Katoen

年:

2008

语言:

english

文件:

PDF, 5.15 MB

0 / 5.0

english, 2008

Foundations of Software Science and Computation Structures

Springer International Publishing

Christel Baier, Ugo Dal Lago

年:

2018

语言:

english

文件:

PDF, 16.99 MB

0 / 0

english, 2018

Foundations of Genetic Algorithms: 8th International Workshop, FOGA 2005, Aizu-Wakamatsu City, Japan, January 5 - 9 , 2005, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Lenders, Christel Baier (auth.), Alden H. Wright, Michael D. Vose, Kenneth A. De Jong, Lothar M. Schmitt (eds.)

年:

2005

语言:

english

文件:

PDF, 3.14 MB

0 / 0

english, 2005

Principles of Model Checking

The MIT Press

Christel Baier, Joost-Pieter Katoen

年:

2008

语言:

english

文件:

PDF, 4.40 MB

0 / 5.0

english, 2008

Tools and Algorithms for the Construction and Analysis of Systems: 21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015, Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Cesare Tinelli (eds.)

年:

2015

语言:

english

文件:

PDF, 19.20 MB

0 / 0

english, 2015

Validation of Stochastic Systems: A Guide to Current Research

Springer-Verlag Berlin Heidelberg

Ana Sokolova, Erik P. de Vink (auth.), Christel Baier, Boudewijn R. Haverkort, Holger Hermanns, Joost-Pieter Katoen, Markus Siegle (eds.)

年:

2004

语言:

english

文件:

PDF, 5.22 MB

0 / 0

english, 2004

Theoretische Informatik

Pearson Studium

Asteroth Alexander, Baier Christel

年:

2002

语言:

german

文件:

PDF, 2.08 MB

0 / 0

german, 2002

Foundations of Software Science and Computation Structures: 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings

Springer

Christel Baier & Ugo Dal Lago [Christel Baier and Ugo Dal Lago]

年:

2018

语言:

english

文件:

EPUB, 12.25 MB

0 / 0

english, 2018

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

年:

2000

语言:

english

文件:

PDF, 6.41 MB

0 / 0

english, 2000

CONCUR 2006 – Concurrency Theory: 17th International Conference, CONCUR 2006, Bonn, Germany, August 27-30, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee (auth.), Christel Baier, Holger Hermanns (eds.)

年:

2006

语言:

english

文件:

PDF, 5.16 MB

0 / 0

english, 2006

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

年:

2010

语言:

english

文件:

PDF, 4.46 MB

0 / 0

english, 2010

Principles of Model Checking (Instructor Solution Manual, Solutions)

The MIT Press

Christel Baier, Joost-Pieter Katoen

年:

2008

语言:

english

文件:

PDF, 1005 KB

0 / 5.0

english, 2008

The MIT Press Principles of Model Checking

MIT Press

Christel Baier, Joost-Pieter Katoen, Kim Guldstrand Larsen

年:

2008

语言:

english

文件:

PDF, 17.06 MB

0 / 0

english, 2008

Foundations of Software Science and Computation Structures

Springer

Christel Baier & Ugo Dal Lago

年:

2018

语言:

english

文件:

PDF, 16.97 MB

0 / 0

english, 2018

Formal Techniques for Distributed Objects, Components, and Systems

Springer International Publishing

Christel Baier, Luís Caires

年:

2018

语言:

english

文件:

PDF, 7.80 MB

0 / 0

english, 2018

SOFSEM 2017: Theory and Practice of Computer Science: 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings

Springer International Publishing

Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria (eds.)

年:

2017

语言:

english

文件:

PDF, 23.72 MB

0 / 0

english, 2017

Coordination Models and Languages: 8th International Conference, COORDINATION 2006, Bologna, Italy, June 14-16, 2006. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Verena Wolf (auth.), Paolo Ciancarini, Herbert Wiklicky (eds.)

年:

2006

语言:

english

文件:

PDF, 3.54 MB

0 / 0

english, 2006

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier (auth.), Dominique Méry, Stephan Merz (eds.)

年:

2010

语言:

english

文件:

PDF, 4.41 MB

0 / 0

english, 2010

Foundations of Software Science and Computation Structures: Third International Conference, FOSSACS 2000 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000 Berlin, Germany, March 25 – April 2, 2000 Proceedings

Springer-Verlag Berlin Heidelberg

Christel Baier, Mariëlle Stoelinga (auth.), Jerzy Tiuryn (eds.)

年:

2000

语言:

english

文件:

PDF, 8.87 MB

0 / 0

english, 2000